Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
551	MODULE TITLE: Intelligent Systems MODULE CODE: Add to Reading List Source URL: cis.ulster.ac.uk Language: English - Date: 2013-06-12 10:33:23 Computational intelligence Reasoning system Hybrid intelligent system Neural network Fuzzy control system Fuzzy logic Intelligent agent Machine learning Genetic algorithm Artificial intelligence Science Cybernetics
552	Barkatullah University Institute of Technology, B.U., Bhopal MASTER OF TECHNOLOGY COURSE IN INFORMATION TECHNOLOGY DISTRIBUTED COMPUTING – MIT-21 Theory Paper – 100 Marks Add to Reading List Source URL: www.buit.ac.in Language: English - Date: 2009-09-30 06:11:55 Computational neuroscience Control engineering Econometrics Networks Neural network Operating system Application software Visualization Fuzzy logic Science Logic Artificial intelligence
553	Identity Uncertainty Stuart Russell Computer Science Division University of California, Berkeley, CA 94720, USA [removed] Abstract Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2001-05-24 19:15:36 Bayesian statistics Computational statistics Monte Carlo methods Statistical models Markov chain Bayesian network Gibbs sampling Probabilistic logic Random walk Statistics Probability and statistics Markov models
554	Metareasoning Stuart J. Russell Computer Science Division University of California, Berkeley November 21, 1997 Metareasoning is \reasoning about reasoning"\|in its broadest sense, any computational Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2011-03-23 22:57:04 Inductive reasoning Reasoning Anytime algorithm Machine learning Algorithm Bounded rationality Cognitive architecture Lookahead Logic programming Artificial intelligence Science Cognition
555	On the Incompressibility of Monotone DNFs Matthias P. Krieger∗ Johann Wolfgang Goethe-Universit¨at Frankfurt am Main Institut f¨ ur Informatik Lehrstuhl f¨ Add to Reading List Source URL: lovelace.thi.informatik.uni-frankfurt.de Language: English - Date: 2010-11-03 11:40:59 Circuit complexity Computational complexity theory Boolean algebra Complexity classes Implicant Logic in computer science Boolean circuit Circuit ACC0 Theoretical computer science Mathematics Applied mathematics
556	Approximate inference for first-order probabilistic languages Hanna Pasula and Stuart Russell Computer Science Division, University of California 387 Soda Hall, Berkeley, CA[removed]fpasula,[removed] Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-01-03 13:57:07 Statistical models Graphical models Computational statistics Monte Carlo methods Markov chain Bayesian network Probabilistic logic Gibbs sampling Bayesian inference in phylogeny Statistics Probability and statistics Markov models
557	Final 0506 Quark 7 Annual Report:0506 draft 5.qxd.qxd Add to Reading List Source URL: www.newton.ac.uk Language: English - Date: 2007-01-12 05:07:34 Computational complexity theory Abstraction Logic in computer science Formal sciences Constraint programming Constraint satisfaction Finite model theory Mathematical logic Complexity Theoretical computer science Mathematics Applied mathematics
558	The Role of Decidability in First Order Separations over Classes of Finite Structures Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:31 Mathematical logic Complexity classes Computational complexity theory FO Descriptive complexity Model theory SO Descriptive complexity theory P Theoretical computer science Finite model theory Mathematics
559	Physically Scalable Computation - an axiomatic approach Steven Lindell, Haverford College Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:12 Theory of computation Computability theory Models of computation Algorithm Mathematical logic Random access machine Analysis of algorithms Computational complexity theory Computability Theoretical computer science Applied mathematics Computer science
560	[removed]Motivation Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:14 FO P Finite model theory SO Computational complexity theory Second-order logic Theoretical computer science Complexity classes Applied mathematics

UPDATE